Orna Kupferman: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Alternating-time temporal logic

Alur, Rajeev, Henzinger, Thomas A., Kupferman, Orna

Journal:

Journal of the ACM

Year:

2002

Language:

english

File:

PDF, 337 KB

english, 2002

2

Branching-Time Temporal Logic and Tree Automata

Orna Kupferman, Orna Grumberg

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 460 KB

english, 1996

3

Relating word and tree automata

Orna Kupferman, Shmuel Safra, Moshe Y. Vardi

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 301 KB

english, 2006

4

Weak alternating automata are not that weak

Kupferman, Orna, Vardi, Moshe Y.

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 183 KB

english, 2001

5

What causes a system to satisfy a specification?

Chockler, Hana, Halpern, Joseph Y., Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

6

-Regular languages are testable with a constant number of queries

Hana Chockler, Orna Kupferman

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 331 KB

english, 2004

7

From complementation to certification

Orna Kupferman, Moshe Y. Vardi

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 330 KB

english, 2005

8

On the universal and existential fragments of the -calculus

Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 308 KB

english, 2006

9

Branching-Depth Hierarchies

Shoham Shamir, Orna Kupferman, Eli Shamir

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

File:

PDF, 856 KB

2003

10

Coverage metrics for formal verification

Hana Chockler, Orna Kupferman, Moshe Vardi

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 403 KB

english, 2006

11

Vacuity detection in temporal model checking

Orna Kupferman, Moshe Y. Vardi

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 205 KB

english, 2003

12

Coverage metrics for temporal logic model checking*

Hana Chockler, Orna Kupferman, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 434 KB

english, 2006

13

From liveness to promptness

Orna Kupferman, Nir Piterman, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 475 KB

english, 2009

14

Concurrent reachability games

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 504 KB

english, 2007

15

Model Checking of Safety Properties

Orna Kupferman, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 177 KB

english, 2001

16

Module Checking

Orna Kupferman, Moshe Y Vardi, Pierre Wolper

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 227 KB

english, 2001

17

On the Complexity of Verifying Concurrent Transition Systems

David Harel, Orna Kupferman, Moshe Y. Vardi

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 184 KB

english, 2002

18

Fair Simulation

Thomas A Henzinger, Orna Kupferman, Sriram K Rajamani

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 192 KB

english, 2002

19

Coping with selfish on-going behaviors

Orna Kupferman, Tami Tamir

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 331 KB

english, 2012

20

Improved model checking of hierarchical systems

Benjamin Aminof, Orna Kupferman, Aniello Murano

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 363 KB

english, 2012

21

Once and for all

Orna Kupferman, Amir Pnueli, Moshe Y. Vardi

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 284 KB

english, 2012

22

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman

Journal:

Computer Standards & Interfaces

Year:

1999

Language:

english

File:

PDF, 36 KB

english, 1999

23

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Co-ing Büchi Made Tight and Useful

Boker, Udi, Kupferman, Orna

Year:

2009

Language:

english

File:

PDF, 292 KB

english, 2009

24

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Temporal Specifications with Accumulative Values

Boker, Udi, Chatterjee, Krishnendu, Henzinger, Thomas A., Kupferman, Orna

Year:

2011

Language:

english

File:

PDF, 330 KB

english, 2011

25

An abstraction-refinement framework for trigger querying

Avni, Guy, Kupferman, Orna

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 971 KB

english, 2014

26

When does abstraction help?

Avni, Guy, Kupferman, Orna

Journal:

Information Processing Letters

Year:

2013

Language:

english

File:

PDF, 224 KB

english, 2013

27

Rigorous approximated determinization of weighted automata

Aminof, Benjamin, Kupferman, Orna, Lampert, Robby

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 522 KB

english, 2013

28

An automata-theoretic approach to branching-time model checking

Kupferman, Orna, Vardi, Moshe Y., Wolper, Pierre

Journal:

Journal of the ACM

Year:

2000

Language:

english

File:

PDF, 371 KB

english, 2000

29

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance

Kupferman, Orna, Li, Wenchao, Seshia, Sanjit A.

Year:

2008

Language:

english

File:

PDF, 220 KB

english, 2008

30

Prime languages

Kupferman, Orna, Mosheiff, Jonathan

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 946 KB

english, 2015

31

[ACM Press the thirtieth annual ACM symposium - Dallas, Texas, United States (1998.05.24-1998.05.26)] Proceedings of the thirtieth annual ACM symposium on Theory of computing - STOC '98 - Weak alternating automata and tree automata emptiness

Kupferman, Orna, Vardi, Moshe Y.

Year:

1998

Language:

english

File:

PDF, 1.31 MB

english, 1998

32

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - What Triggers a Behavior?

Kupferman, Orna, Lustig, Yoad

Year:

2007

Language:

english

File:

PDF, 219 KB

english, 2007

33

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Rigorous Approximated Determinization of Weighted Automata

Aminof, Benjamin, Kupferman, Orna, Lampert, Robby

Year:

2011

Language:

english

File:

PDF, 312 KB

english, 2011

34

BÜCHI COMPLEMENTATION MADE TIGHTER

FRIEDGUT, EHUD, KUPFERMAN, ORNA, VARDI, MOSHE Y.

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 998 KB

english, 2006

35

TYPENESS FOR ω-REGULAR AUTOMATA

KUPFERMAN, ORNA, MORGENSTERN, GILA, MURANO, ANIELLO

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 954 KB

english, 2006

36

LATTICED SIMULATION RELATIONS AND GAMES

KUPFERMAN, ORNA, LUSTIG, YOAD

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 312 KB

english, 2010

37

From linear time to branching time

Kupferman, Orna, Vardi, Moshe Y.

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 206 KB

english, 2005

38

Reasoning about online algorithms with weighted automata

Aminof, Benjamin, Kupferman, Orna, Lampert, Robby

Journal:

ACM Transactions on Algorithms

Year:

2010

Language:

english

File:

PDF, 576 KB

english, 2010

39

Temporal Specifications with Accumulative Values

Boker, Udi, Chatterjee, Krishnendu, Henzinger, Thomas A., Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 532 KB

english, 2014

40

Minimizing Deterministic Lattice Automata

Halamish, Shulamit, Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2015

Language:

english

File:

PDF, 618 KB

english, 2015

41

Parameterized Weighted Containment

Avni, Guy, Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 470 KB

english, 2014

42

An automata-theoretic approach to modular model checking

Kupferman, Orna, Vardi, Moshe Y.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 448 KB

english, 2000

43

Translating to Co-Büchi Made Tight, Unified, and Useful

Boker, Udi, Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 361 KB

english, 2012

44

Erratum for “What causes a system to satisfy a specification?”

Chockler, Hana, Halpern, Joseph Y., Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 46 KB

english, 2010

45

Church's Problem Revisited

Orna Kupferman and Moshe Y. Vardi

Journal:

Bulletin of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 547 KB

english, 1999

46

Profile trees for Büchi word automata, with application to determinization

Fogarty, Seth, Kupferman, Orna, Vardi, Moshe Y., Wilke, Thomas

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 650 KB

english, 2015

47

Formally Reasoning About Quality

Almagor, Shaull, Boker, Udi, Kupferman, Orna

Journal:

Journal of the ACM

Year:

2016

Language:

english

File:

PDF, 636 KB

english, 2016

48

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - What Triggers a Behavior?

Kupferman, Orna, Lustig, Yoad

Year:

2007

Language:

english

File:

PDF, 219 KB

english, 2007

49

Synthesis with rational environments

Kupferman, Orna, Perelli, Giuseppe, Vardi, Moshe Y.

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 408 KB

english, 2016

50

Network-formation games with regular objectives

Avni, Guy, Kupferman, Orna, Tamir, Tami

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 927 KB

english, 2016